SQType($\mathbb{B}$)